From: GB_2 <bfeber@protonmail.com>
Date: Thu, 12 Sep 2019 16:01:46 +0000 (+0000)
Subject: windowMenu: Animate menu
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~811^2^2~92
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=4525ad346d226ebeb2f4fe645bb44fb95691fa0d;p=gnome-shell.git

windowMenu: Animate menu

Most menus have an animation, so add one to the window menu for
consistency and better looks (like !712).

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/717
---

diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index 58ef841d4..f2fb750bc 100644
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -224,7 +224,7 @@ var WindowMenuManager = class {
         this._sourceActor.set_position(rect.x, rect.y);
         this._sourceActor.show();
 
-        menu.open(BoxPointer.PopupAnimation.NONE);
+        menu.open(BoxPointer.PopupAnimation.FADE);
         menu.actor.navigate_focus(null, St.DirectionType.TAB_FORWARD, false);
         menu.connect('open-state-changed', (menu_, isOpen) => {
             if (isOpen)